Model Transformation Using Graph Transactions
نویسندگان
چکیده
Model transformations are central to model driven software engineering. The main aim of defining a model transformation is to reuse this model by adapting it to a new situation or context (aims of transformation include synthesis, reverse engineering, migration, optimization, refactoring, etc). Given two metamodels T1 and T2 a model transformation takes as input a model of T1 and delivers as result a corresponding model with respect to T2. Since many modelling languages are diagrammatic (like class-diagrams, message sequence charts, state charts), it is natural to use graphs as a formal basis to describe metamodels of these languages. Rules that transform graphs can be used to describe the transformation process. Here we propose the use graph grammars with transactions to describe model transformations. The notion of (graph) transaction can be very useful in proving essential properties of model transformation, like termination, confluence and correctness.
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملDynamic Coupled Thermo-Viscoelasticity of a Spherical Hollow Domain
The generalized coupled thermo-viscoelasticity of hollow sphere subjected to thermal symmetric shock load is presented in this paper. To overcome the infinite speed of thermal wave propagation, the Lord-Shulman theory is considered. Two coupled equations, namely, the radial equation of motion and the energy equation of a hollow sphere are obtained in dimensionless form. Resulting equations are ...
متن کاملChange-Driven Model Transformations Change (in) the Rule to Rule the Change
In the paper, we investigate change-driven model transformations, a novel class of transformations, which are directly triggered by complex model changes carried out by arbitrary transactions on the model (e.g. editing operation, transformation, etc). After a classification of relevant change scenarios, we identify challenges for change-driven transformations. As the main technical contribution...
متن کاملENTROPY OF DYNAMICAL SYSTEMS ON WEIGHTS OF A GRAPH
Let $G$ be a finite simple graph whose vertices and edges are weighted by two functions. In this paper we shall define and calculate entropy of a dynamical system on weights of the graph $G$, by using the weights of vertices and edges of $G$. We examine the conditions under which entropy of the dynamical system is zero, possitive or $+infty$. At the end it is shown that, for $rin [0,+infty]$, t...
متن کاملNonlinear Analysis of Flow-induced Vibration in Fluid-conveying Structures using Differential Transformation Method with Cosine-Aftertreatment Technique
In this work, analytical solutions are provided to the nonlinear equations arising in thermal and flow-induced vibration in fluid-conveying structures using Galerkin-differential transformation method with cosine aftertreatment technique. From the analysis, it was established that increase of the length and aspect ratio of the fluid-conveying structures result in decrease the nonlinear vibratio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009